Primitive data type - PDFSEARCH.IO - Document Search Engine

Primitive data type
Results: 215

#	Item
71	Formalizing the LLVM Intermediate Representation for Verified Program Transformations ∗ Jianzhou Zhao Santosh Nagarakatte Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-01-05 09:49:14 Data types Type theory Compiler construction Primitive types Cross-platform software LLVM Type safety Blocks Pointer Software engineering Computing Computer programming
72	Ironclad C++ A Library-Augmented Type-Safe Subset of C++ Christian DeLozier Richard Eisenberg Santosh Nagarakatte† Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-09-17 20:34:39 Software bugs C++ Memory management Data types Primitive types Pointer Dangling pointer Memory safety C Computing Software engineering Computer programming
73	Microsoft Word - PLCGuide.doc Add to Reading List Source URL: download.arsoft-int.com Language: English - Date: 2009-06-25 09:45:19 Procedural programming languages Data types Primitive types Pascal ALGOL 68 Subroutine FALSE Boolean data type Visual Basic Software engineering Computer programming Computing
74	he SNOBOL4 Programming Language he SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language The SNOBOL4 Programming Language Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2011-01-30 05:09:52 Data types SNOBOL Pattern matching Compiler C String Programming language Variable Primitive data type Software engineering Computing Computer programming
75	Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.2 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering
76	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.5) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
77	Specification of FlatZinc Version 1.0 Nicholas Nethercote 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2009-05-20 00:54:28 Data types Procedural programming languages Primitive data type Literal ALGOL 68 Boolean data type ECL programming language Array data type C Software engineering Computing Computer programming
78	Multi-Stage Construction of a Global Static Analyzer (in G LOBAL G CC project) Basile Starynkevitch CEA LIST (Software Reliability Lab.) Add to Reading List Source URL: starynkevitch.net Language: English - Date: 2007-11-12 02:37:07 Data types Cross-platform software Compiler construction Primitive types Type theory Pointer GNU Compiler Collection C Lisp Software engineering Computing Computer programming
79	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
80	Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:07:57 Computing Computer programming C++ Object-oriented programming Subtype polymorphism Type theory Reference String Integer Data types Software engineering Primitive types

UPDATE